🎓 Capstone Project Completed! 🚀
dev.to·1d·
Discuss: DEV
🕵️Metadata Mining
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.com·10h·
Discuss: Hacker News
Bidirectional Typing
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·5h
🌀Brotli Internals
Flag this post
The Machine Learning Roadmap
github.com·7h·
Discuss: Hacker News
🎵Audio ML
Flag this post
Meta-algorithmic judicial reasoning engine
news.ycombinator.com·4d·
Discuss: Hacker News
🧮Theorem Proving
Flag this post
Google's Nested Learning aims to stop LLMs from catastrophic forgetting
the-decoder.com·10h
💻Local LLMs
Flag this post
Beyond the Hype: How to Use AI to Actually Increase Your Productivity as a Dev
docker.com·1d
Proof Automation
Flag this post
Understanding LLMs as Pattern Machines, Not Thinking Partners
practicalsecurity.substack.com·19h·
Discuss: Substack
💻Programming languages
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·9h
λLambda Encodings
Flag this post
New Al Zimmermann's Programming Contests: Powerful Sums
azspcs.com·8h·
Discuss: Hacker News
🧮SMT Solvers
Flag this post
OpenMMReasoner: Pushing the Frontiers for Multimodal Reasoning with an Open and General Recipe
arxiv.org·2d
🧮Theorem Proving
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·19h·
Discuss: Lobsters
🌳Incremental Parsing
Flag this post
Yale Journal on Regulation: Navigating the Web of Agency Authority with AI
pacificlegal.org·7h·
Discuss: Hacker News
⚖️Constraint CHR
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.com·8h·
Discuss: Hacker News
🎼Audio Lambda Calculus
Flag this post
How To Build a Graph-Based Recommendation Engine Using EDG and Neo4j
towardsdatascience.com·1d
🕸️Neo4j
Flag this post
AI Wins and Losses
dowski.com·1d
🔄Language Evolution
Flag this post
[D] Looking for resources on “problem framing + operational thinking” for ML ?
reddit.com·11h·
🎵Audio ML
Flag this post
Automated Retrofit Optimization for Enhanced Energy Star Home Performance via Bayesian Hyperparameter Tuning
dev.to·10h·
Discuss: DEV
Incremental Computation
Flag this post